例句與造句

1. Proving several theorems in first order logic based on back - and - forth method
   向前向后法證明一階邏輯的幾個定理
2. It's difficult to find back-and-forth method in a sentence. 用back-and-forth method造句挺難的